2024/11/26 Voices from DARPA Podcast Episode 84: Hackable Code & the Formal Fix
在本期《来自 DARPA 的声音》中，我们探讨了该机构在软件开发革命方面所做的开创性工作。这种转变的前沿是使用形式化方法 - 一种强大的数学方法，可确保强大的安全性并保证软件系统中没有漏洞。
2024/11/18 U.S. Army Cyber Command, DARPA Evaluate Advanced Cyber Threat Detection Technologies
DARPA、美国陆军网络司令部技术作战中心和防御性网络行动项目经理对一项新计划进行了操作测试和评估，该计划评估了作为星座计划一部分的尖端网络威胁检测能力。
2024/11/08 DARPA’s Service Chiefs Fellows Shaping the Future of Military Medicine
两名陆军医疗服务团军官分享了他们入选 DARPA 服务首席研究员计划 (SCFP) 后的经历。该计划让军事领导人沉浸在 DARPA 的动态技术环境中，为士兵提供难得的机会进行创新并为可能改变未来国防能力的项目贡献见解。
2024/10/24 DARPA Seeks Innovative Proposals from Early Career Researchers at US Institutions
DARPA 新的 2025 年青年教师奖 (YFA) 征集活动寻求个人首席研究员的摘要和提案，涉及多个技术领域，代表来自多个 DARPA 技术办公室的研究和开发重点。
2024/10/24 Voices from DARPA Podcast Episode 83: When Should Machines Decide?
DARPA 的研究发现，需要从根本上采用不同的方法来推动 AI 技术发展到我们愿意信任它而不是愚蠢地这样做的程度。继续我们关于 ELSI 的迷你系列的主题 - 新技术和能力的道德、法律和社会影响 - 我们会见了 DARPA 的 ITM 项目经理 Patrick Shafto 博士以及 ITM 表演者和 ELSI 顾问，他们详细介绍了他们如何在人类决策者和自主决策工具的背景下解决协调的基本问题。
2024/10/05 DART and Coordinated Robotics Take Top Spots in the DARPA Triage Challenge Event 1
准确、快速地识别损伤的关键生理特征（例如出血和气道损伤）的能力被证明是 DARPA 伤情诊断挑战赛 1 取得成功的关键。DART 在系统竞赛中名列前茅，而 Coordinated Robotics 在虚拟竞赛中名列榜首，并在数据竞赛中获胜。DARPA 资助和自筹资金的团队在整个 DARPA 伤情诊断挑战赛中并肩竞争。只有自筹资金的团队才有资格获得挑战赛的奖项，但他们必须在系统竞赛中排名前五，在虚拟竞赛中排名前五。所有合格的团队都有资格获得决赛的奖项。这些自筹资金的团队每获得一等奖，将获得 60,000 至 120,000 美元的奖金。
2024/09/27 Teaching AI What it Should and Shouldn’t Do
DARPA 宣布了其新的道义推理 DevOps 人机通信计划，简称 CODORD。道义推理是一个哲学术语，指的是义务、许可和禁令。Devops 是指软件开发和 IT 运营的结合，包括在运营期间持续进行的开发。CODORD 旨在使人类通过自然语言（例如，口头或书面英语、法语、德语等）将道义知识自动传达为一种高度表达的逻辑编程语言。如果成功，CODORD 将大大减少将大量人类生成的关于义务、许可和禁令的知识转化为人工智能可以理解并严格推理以提供决策支持的逻辑语言所需的成本和时间。
2024/09/26 Voices from DARPA Podcast Episode 82: Acquisition Awesomeness
从 DARPA 在其他交易方面的开创性工作，到快速提案，再到对以前未实现的权限的探索，了解该机构如何打破政府采购的障碍，为企业提供更清晰的国家安全任务道路。
2024/09/23 A New Kind of Hidden Networking Science
在最近在 GitHub 上发布其代码的“人人有弹性的匿名通信”计划 (RACE) 成功的基础上，PWND2 将开发新兴通信路径（又称怪异网络）的正式模型，从根本上改善强大而有弹性的隐藏网络的部署和检测。
DARPA、加拿大国防部和英国国防部将合作开展人工智能 (AI)、网络、弹性系统和信息领域相关技术的研究、开发、测试和评估技术。
2024/09/13 DARPA Invites Proposals for AI Biotechnology Pitch Days Dec. 5-6
DARPA 将于 2024 年 12 月 5 日至 6 日在华盛顿特区举办 AI BTO Pitch Days，以选拔和授予 AI BTO 催化剂项目。为了获得 AI BTO Pitch Day 参与资格，投标人必须提交一份简短的白皮书，其中包含投标人针对所列重点领域之一的想法的技术描述。
2024/08/22 DARPA Launches Regional Commercial Accelerators
DARPA 从全国范围内选择了五家顶尖技术加速器作为 DARPA 商业加速器，以促进 DARPA 资助技术的快速商业化和规模化。
2024/08/15 DARPA to Host Meeting, Discussions with Quantum Computing Companies
继 7 月宣布量子基准测试计划 (QBI) 之后，DARPA 将于 2024 年 9 月 3 日为量子计算公司举办 QBI 提议者日，这些公司相信他们有望在短期内开发出工业规模、容错量子计算机。
2024/08/14 Developing a Computational Model of Bacteria Behavior
模拟微生物系统 (SMS) 计划旨在创建能够准确预测细菌在各种情况下行为的计算模拟。具体而言，SMS 旨在通过利用两个广泛领域的最新创新来创建全面、可推广和可解释的大肠杆菌模拟：(1) 高通量和自动化实验测试平台；(2) 先进的计算技术。
2024/08/13 DARPA Events Highlight Opportunities at the Intersection of Bio and AI/ML
美国国防高级研究计划局 (DARPA) 的生物技术办公室 (BTO) 将为生物创新者、蓝天思想者和 AI/ML 专家举办两场宣传活动，旨在：了解 BTO 项目经理了解办公室的愿景介绍与仅限受邀者参加的活动相关的特殊资助机会（基于提交的概念）分享有关新资助机会的信息与 DARPA 社区建立联系
2024/08/11 DARPA AI Cyber Challenge Proves Promise of AI-Driven Cybersecurity
DARPA 人工智能网络挑战赛 (AIxCC) 半决赛——为期两年的比赛的资格赛——在 DEF CON 32 上落下帷幕。AIxCC 挑战人工智能和网络安全专家，以捍卫实现现代生活的软件。DARPA 主办的沉浸式体验强调了比赛的现实意义并分享了比赛结果，吸引了超过 12,500 人次访问。
2024/07/31 Eliminating Memory Safety Vulnerabilities Once and For All
近年来，向编程语言 Rust 的文化转变以及大型语言模型 (LLM) 等机器学习技术的最新突破创造了一个可能适合新一类解决方案的环境。DARPA 的将所有 C 语言翻译成 Rust (TRACTOR) 计划希望通过大幅自动化将世界上遗留的 C 代码翻译成 Rust 来抓住这个机会。
2024/07/31 DARPA to Host Discover DSO Event in Boston
DARPA 国防科学办公室 (DSO) 将于 2024 年 10 月 3 日至 4 日在马萨诸塞州波士顿举办现场探索 DSO 日 (D3) 为期两天的聚会的目标是：重点介绍 DSO 未来探索和潜在 DARPA 投资的科学和技术重点领域促进 DARPA DSO 项目经理与更广泛的科学技术生态系统成员之间的对话提供有关如何使用 DARPA DSO 的见解和技巧
